<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head><title>dstress.run.html_entity_amsb</title></head>
<body><pre><CODE>
module dstress.run.html_entity_amsb;

int main(){
	static assert('&ac;' == 0x223E);
	static assert('&acE;' == 0x223E);
	static assert('&amalg;' == 0x2A3F);
	static assert('&barvee;' == 0x22BD);
	static assert('&barwed;' == 0x2305);
	static assert('&Barwed;' == 0x2306);
	static assert('&bsolb;' == 0x29C5);
	static assert('&Cap;' == 0x22D2);
	static assert('&capand;' == 0x2A44);
	static assert('&capbrcup;' == 0x2A49);
	static assert('&capcap;' == 0x2A4B);
	static assert('&capcup;' == 0x2A47);
	static assert('&capdot;' == 0x2A40);
	static assert('&caps;' == 0x2229);
	static assert('&ccaps;' == 0x2A4D);
	static assert('&ccups;' == 0x2A4C);
	static assert('&ccupssm;' == 0x2A50);
	static assert('&coprod;' == 0x2210);
	static assert('&Cup;' == 0x22D3);
	static assert('&cupbrcap;' == 0x2A48);
	static assert('&cupcap;' == 0x2A46);
	static assert('&cupcup;' == 0x2A4A);
	static assert('&cupdot;' == 0x228D);
	static assert('&cupor;' == 0x2A45);
	static assert('&cups;' == 0x222A);
	static assert('&cuvee;' == 0x22CE);
	static assert('&cuwed;' == 0x22CF);
	static assert('&dagger;' == 0x2020);
	static assert('&Dagger;' == 0x2021);
	static assert('&diam;' == 0x22C4);
	static assert('&divonx;' == 0x22C7);
	static assert('&eplus;' == 0x2A71);
	static assert('&hercon;' == 0x22B9);
	static assert('&intcal;' == 0x22BA);
	static assert('&iprod;' == 0x2A3C);
	static assert('&loplus;' == 0x2A2D);
	static assert('&lotimes;' == 0x2A34);
	static assert('&lthree;' == 0x22CB);
	static assert('&ltimes;' == 0x22C9);
	static assert('&minusb;' == 0x229F);
	static assert('&minusd;' == 0x2238);
	static assert('&minusdu;' == 0x2A2A);
	static assert('&ncap;' == 0x2A43);
	static assert('&ncup;' == 0x2A42);
	static assert('&oast;' == 0x229B);
	static assert('&ocir;' == 0x229A);
	static assert('&odash;' == 0x229D);
	static assert('&odiv;' == 0x2A38);
	static assert('&odot;' == 0x2299);
	static assert('&odsold;' == 0x29BC);
	static assert('&ofcir;' == 0x29BF);
	static assert('&ogt;' == 0x29C1);
	static assert('&ohbar;' == 0x29B5);
	static assert('&olcir;' == 0x29BE);
	static assert('&olt;' == 0x29C0);
	static assert('&omid;' == 0x29B6);
	static assert('&ominus;' == 0x2296);
	static assert('&opar;' == 0x29B7);
	static assert('&operp;' == 0x29B9);
	static assert('&oplus;' == 0x2295);
	static assert('&osol;' == 0x2298);
	static assert('&otimes;' == 0x2297);
	static assert('&Otimes;' == 0x2A37);
	static assert('&otimesas;' == 0x2A36);
	static assert('&ovbar;' == 0x233D);
	static assert('&plusacir;' == 0x2A23);
	static assert('&plusb;' == 0x229E);
	static assert('&pluscir;' == 0x2A22);
	static assert('&plusdo;' == 0x2214);
	static assert('&plusdu;' == 0x2A25);
	static assert('&pluse;' == 0x2A72);
	static assert('&plussim;' == 0x2A26);
	static assert('&plustwo;' == 0x2A27);
	static assert('&prod;' == 0x220F);
	static assert('&race;' == 0x29DA);
	static assert('&roplus;' == 0x2A2E);
	static assert('&rotimes;' == 0x2A35);
	static assert('&rthree;' == 0x22CC);
	static assert('&rtimes;' == 0x22CA);
	static assert('&sdot;' == 0x22C5);
	static assert('&sdotb;' == 0x22A1);
	static assert('&setmn;' == 0x2216);
	static assert('&simplus;' == 0x2A24);
	static assert('&smashp;' == 0x2A33);
	static assert('&solb;' == 0x29C4);
	static assert('&sqcap;' == 0x2293);
	static assert('&sqcaps;' == 0x2293);
	static assert('&sqcup;' == 0x2294);
	static assert('&sqcups;' == 0x2294);
	static assert('&ssetmn;' == 0x2216);
	static assert('&sstarf;' == 0x22C6);
	static assert('&subdot;' == 0x2ABD);
	static assert('&sum;' == 0x2211);
	static assert('&supdot;' == 0x2ABE);
	static assert('&timesb;' == 0x22A0);
	static assert('&timesbar;' == 0x2A31);
	static assert('&timesd;' == 0x2A30);
	static assert('&tridot;' == 0x25EC);
	static assert('&triminus;' == 0x2A3A);
	static assert('&triplus;' == 0x2A39);
	static assert('&trisb;' == 0x29CD);
	static assert('&tritime;' == 0x2A3B);
	static assert('&uplus;' == 0x228E);
	static assert('&veebar;' == 0x22BB);
	static assert('&wedbar;' == 0x2A5F);
	static assert('&wreath;' == 0x2240);
	static assert('&xcap;' == 0x22C2);
	static assert('&xcirc;' == 0x25EF);
	static assert('&xcup;' == 0x22C3);
	static assert('&xdtri;' == 0x25BD);
	static assert('&xodot;' == 0x2A00);
	static assert('&xoplus;' == 0x2A01);
	static assert('&xotime;' == 0x2A02);
	static assert('&xsqcup;' == 0x2A06);
	static assert('&xuplus;' == 0x2A04);
	static assert('&xutri;' == 0x25B3);
	static assert('&xvee;' == 0x22C1);
	static assert('&xwedge;' == 0x22C0);
	return 0;
}
</CODE></pre></body>
</html>
